Incompleteness for Higher-Order Arithmetic by Yong Cheng
Author:Yong Cheng
Language: eng
Format: epub
ISBN: 9789811399497
Publisher: Springer Singapore
Proposition 2.12
(1) implies that there exists a nontrivial elementary embedding and a club of regular L-cardinals.
(2) Suppose there exists a nontrivial elementary embedding and a club of regular L-cardinals. Then exists.
(3) Suppose there exists a nontrivial elementary embedding and a club of regular L-cardinals. Then exists.
Proof
Follows from the proof of Theorem 2.6 and Fact 2.5.
As a corollary of Theorem 5.1, does not imply that exists, and hence does not imply that there exists a nontrivial elementary embedding and a club of regular L-cardinals.
Download
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
Modelling of Convective Heat and Mass Transfer in Rotating Flows by Igor V. Shevchuk(6414)
Weapons of Math Destruction by Cathy O'Neil(6235)
Factfulness: Ten Reasons We're Wrong About the World – and Why Things Are Better Than You Think by Hans Rosling(4720)
A Mind For Numbers: How to Excel at Math and Science (Even If You Flunked Algebra) by Barbara Oakley(3283)
Descartes' Error by Antonio Damasio(3257)
Factfulness_Ten Reasons We're Wrong About the World_and Why Things Are Better Than You Think by Hans Rosling(3220)
TCP IP by Todd Lammle(3165)
Fooled by Randomness: The Hidden Role of Chance in Life and in the Markets by Nassim Nicholas Taleb(3085)
Applied Predictive Modeling by Max Kuhn & Kjell Johnson(3047)
The Tyranny of Metrics by Jerry Z. Muller(3039)
The Book of Numbers by Peter Bentley(2946)
The Great Unknown by Marcus du Sautoy(2671)
Once Upon an Algorithm by Martin Erwig(2632)
Easy Algebra Step-by-Step by Sandra Luna McCune(2609)
Lady Luck by Kristen Ashley(2563)
Police Exams Prep 2018-2019 by Kaplan Test Prep(2523)
Practical Guide To Principal Component Methods in R (Multivariate Analysis Book 2) by Alboukadel Kassambara(2522)
All Things Reconsidered by Bill Thompson III(2375)
Linear Time-Invariant Systems, Behaviors and Modules by Ulrich Oberst & Martin Scheicher & Ingrid Scheicher(2350)
